41![Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib Towards Modeling and Model Checking Fault-Tolerant Distributed Algorithms? Annu John, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Fault-tolerant distrib](https://www.pdfsearch.io/img/623879319eaada0953cc8cdc13e2569f.jpg) | Add to Reading ListSource URL: forsyte.atLanguage: English - Date: 2013-05-15 09:27:00
|
---|
42![Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562 Enabling Blockchain Innovations with Pegged Sidechains Adam Back, Matt Corallo, Luke Dashjr, Mark Friedenbach, Gregory Maxwell, Andrew Miller, Andrew Poelstra, Jorge Timón, and Pieter Wuille∗† commit 562](https://www.pdfsearch.io/img/dd4221b62cf03456e4238b3b5db41635.jpg) | Add to Reading ListSource URL: blockstream.comLanguage: English - Date: 2015-06-08 20:39:51
|
---|
43![Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we](https://www.pdfsearch.io/img/8ada59dfe0398e23ca5d67f3e4780dd1.jpg) | Add to Reading ListSource URL: forsyte.atLanguage: English - Date: 2014-06-05 05:53:48
|
---|
44![Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu Appears in the Proceedings of the Third Symposium on Operating Systems Design and Implementation, New Orleans, USA, FebruaryPractical Byzantine Fault Tolerance Miguel Castro and Barbara Liskov Laboratory for Compu](https://www.pdfsearch.io/img/bb66a7be8ba814af3ac6122544c6f5ae.jpg) | Add to Reading ListSource URL: www.dsm.fordham.eduLanguage: English - Date: 2007-03-10 14:28:30
|
---|
45![Appearing in the 7th USENIX Symposium on Operating System Design and Implementation (OSDI), NovHQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance James Cowling1 , Daniel Myers1 , Barbara Lisko Appearing in the 7th USENIX Symposium on Operating System Design and Implementation (OSDI), NovHQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance James Cowling1 , Daniel Myers1 , Barbara Lisko](https://www.pdfsearch.io/img/1568f2ec573861c2b66727e10bbce72b.jpg) | Add to Reading ListSource URL: www.pmg.lcs.mit.eduLanguage: English - Date: 2007-10-23 18:19:54
|
---|
46![Characterizing Fault Tolerance in Genetic Programming Daniel Lombraña ∗ González University of Extremadura Avd. Santa Teresea de Jornet, Characterizing Fault Tolerance in Genetic Programming Daniel Lombraña ∗ González University of Extremadura Avd. Santa Teresea de Jornet,](https://www.pdfsearch.io/img/505f8d15b9c107ab7db25b2dcf4256ae.jpg) | Add to Reading ListSource URL: navet.ics.hawaii.eduLanguage: English - Date: 2009-04-02 15:22:11
|
---|
47![Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005 Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRMIT-LCS-TR-994 July 21, 2005](https://www.pdfsearch.io/img/e31e0f7cad7ed3a2e1a12190fe18b7e6.jpg) | Add to Reading ListSource URL: www.pmg.lcs.mit.eduLanguage: English - Date: 2008-08-05 15:15:23
|
---|
48![362 FAULT TOLERANCE CHAP. 7 362 FAULT TOLERANCE CHAP. 7](https://www.pdfsearch.io/img/f367462d31029b50900fc48fc6226225.jpg) | Add to Reading ListSource URL: www.cs.vu.nlLanguage: English - Date: 2001-08-05 10:53:44
|
---|
49![Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRApril 16, 2009 Computer Science and Artificial Intelligence Laboratory Technical Report MIT-CSAIL-TRApril 16, 2009](https://www.pdfsearch.io/img/66194df51ef508318032d8321479b267.jpg) | Add to Reading ListSource URL: www.pmg.lcs.mit.eduLanguage: English - Date: 2009-11-09 18:42:18
|
---|
50![HQ Replication by James Cowling BCST Adv. Hons. H1M The University of Sydney (2004) HQ Replication by James Cowling BCST Adv. Hons. H1M The University of Sydney (2004)](https://www.pdfsearch.io/img/f36e8f44a9c2d2335e7924c5bef26316.jpg) | Add to Reading ListSource URL: www.pmg.lcs.mit.eduLanguage: English - Date: 2007-10-23 18:19:54
|
---|